home *** CD-ROM | disk | FTP | other *** search
/ Celestin Apprentice 4 / Apprentice-Release4.iso / Languages / Caml Light 0.7 / examples / grep / auto.mli < prev    next >
Encoding:
Text File  |  1995-06-01  |  212 b   |  10 lines  |  [TEXT/MPS ]
  1. #open "expr";;
  2.  
  3. type état =
  4.   { mutable transitions : (char * état) list;
  5.     mutable epsilon_transitions : état list;
  6.     mutable terminal : bool;
  7.     numéro : int };;
  8.  
  9. value expr_vers_automate : expr -> état;;
  10.